package icrts.time;


interface Timer {
    /**
     * The function to make the time increment by an amount.
     */
    void progress();
    /**
     * The amount of time that will be incremented.
     * @return a short interval of time.
     */
    int getEpsilon();
    /**
     * Sets the amount of time that will be incremented by the simulator.
     */
    void setEpsilon();
}
